募捐 9月15日2024 – 10月1日2024 关于筹款
1
Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
年:
1999
语言:
english
文件:
DJVU, 1.88 MB
0 / 0
english, 1999
2
Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
年:
2018
语言:
english
文件:
EPUB, 15.52 MB
0 / 5.0
english, 2018
3
Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
年:
1999
语言:
english
文件:
DJVU, 3.22 MB
0 / 0
english, 1999
5
Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller
年:
2008
语言:
english
文件:
PDF, 1.73 MB
0 / 0
english, 2008
7
Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
年:
2018
语言:
english
文件:
EPUB, 13.56 MB
0 / 0
english, 2018
8
Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
年:
1999
语言:
english
文件:
DJVU, 2.13 MB
0 / 0
english, 1999
10
Dependable software systems engineering

Dependable software systems engineering

Esparza, Javier(Editor), Grumberg, Orna(Editor), Sickert, Salomon(Editor)
年:
2016
语言:
english
文件:
PDF, 5.91 MB
5.0 / 0
english, 2016
12
25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

Grumberg, Orna., Veith, Helmut
年:
2008
语言:
english
文件:
PDF, 42.39 MB
0 / 5.0
english, 2008